Tuk - Tuk : A Unified Account

Interpersonal Relationships Moderate the Effect of Faces on Person Judgments

AND

Elimination of Skolem functions for monotone formulas in analysis

GnA ω +∆+AC-qf ⊢ ∀u, k∀v ≤τ tuk∃w A0(u, k, v, w), (where t is a closed term, A0 is quantifier-free and contains only u, k, v, w free, γ ≤ 2, ρ is an arbitrary type and ≤τ is defined pointwise) one can extract (by monotone functional interpretation) a uniform bound Φ on ∃w which is given by a closed term of GnA ω and does not depend on v, i.e. ∀u, k∀v ≤ tuk∃w ≤ ΦukA0(u, k, v, w) holds in the ful...

Computer Games: A New Medium for Traditional Asian Art

Computer games are the result of the convergence of art and technology. In this paper, we explore the possibility using computer games as a medium for promoting Asian culture and art, and therefore asserting that it should be considered as an art form itself. To establish why computer games can be considered art, we take into account the major theories of art based on historical, institutional,...

Syphilis may be a confounding factor , not a causative agent , in

Based upon a review of published clinical observations regarding syphilitic amyotrophic lateral sclerosis (ALS), I hypothesize that syphilis is actually a confounding factor, not a causative factor, in syphilitic ALS. Moreover, I propose that the successful treatment of ALS symptoms in patients with syphilitic ALS using penicillin G and hydrocortisone is an indirect consequence of the treatment...

Blocking Fca Receptor I on Granulocytes Prevents Tissue Damage Induced by IgA Autoantibodies